Systems and methods for ambiguity based decode algorithm modification

ABSTRACT

Various embodiments of the present invention provide systems and methods for data processing. For example, data processing systems are disclosed that include a data decoding system.

BACKGROUND OF THE INVENTION

The present inventions are related to systems and methods for data processing, and more particularly to systems and methods for data decoding.

Various storage systems include data processing circuitry implemented with a data decoding circuit. In some cases, a belief propagation based decoder circuit is used. In such cases where high rate low density parity check codes are used, an error floor is more severe because short cycles are unavoidable. Such short cycles make the messages in the belief propagation decoder correlate quickly and degrade the performance. In contrast, a maximum likelihood decoder may be used as it does not exhibit the same limitations. However, such maximum likelihood decoders are typically too complex for practical implementation.

Hence, for at least the aforementioned reasons, there exists a need in the art for advanced systems and methods for data processing.

BRIEF SUMMARY OF THE INVENTION

The present inventions are related to systems and methods for data processing, and more particularly to systems and methods for data decoding.

Various embodiments of the present invention provide data processing systems that include a data decoding system. The data decoding system includes: a data decoder circuit operable to apply a data decode algorithm to a decoder input to yield a decoded output and an indication of at least one point of failure of the decoded output; an ambiguous position detection circuit operable to identify at least a first symbol and a second symbol associated with the point of failure of the decoded output; an ambiguity calculation circuit operable to calculate a first ambiguity associated with the first symbol and a second ambiguity associated with the second symbol; and a value modification circuit operable to modify one of a first value associated with the first symbol and a second value associated with the second symbol to yield a modified decoded output based at least in part on the first ambiguity and the second ambiguity. In some instances of the aforementioned embodiments, the data processing system is implemented as part or a storage device or a receiving device. In various instances of the aforementioned embodiments, the data processing system is implemented as part of an integrated circuit.

In some instances of the aforementioned embodiments, the decoded output is a first decoded output, and the decoder circuit is operable to apply the data decode algorithm to the decoder input guided by the modified decoded output to yield a second decoded output. In some instances of the aforementioned embodiments, the data decode algorithm is a low density parity check algorithm, and the point of failure of the decoded output is a failure of a parity check equation implemented as part of the low density parity check algorithm. In some cases, the low density parity check algorithm may be a non-binary low density parity check algorithm. In other cases, the low density parity check algorithm is a binary low density parity check algorithm. In particular cases, the low density parity check algorithm is implemented as a belief propagation data decode algorithm.

In one or more instances of the aforementioned embodiments, the first symbol includes a most likely symbol value corresponding to a first probability value and a next most likely symbol value corresponding to a second probability value, and the second symbol includes a most likely symbol value corresponding to a third probability value and a next most likely symbol value corresponding to a second probability value. In such instances, calculating the first ambiguity associated with the first symbol includes subtracting the second probability from the first probability, and calculating the second ambiguity associated with the second symbol includes subtracting the fourth probability from the third probability. In some cases, modifying one of a first value associated with the first symbol and a second value associated with the second symbol to yield the modified decoded output based at least in part on the first ambiguity and the second ambiguity includes: comparing the first ambiguity with the second ambiguity to determine that the first ambiguity is less then the second ambiguity; and changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol. IN particular cases, changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol further includes: changing the second probability value corresponding to the next most likely symbol value of the first symbol to be the first probability value corresponding to the most likely symbol value of the first symbol.

In various instances of the aforementioned embodiments, the data processing system further includes a data detector circuit operable to apply a data detection algorithm to a data set to yield a detected output, wherein the decoder input is derived from the detected output. In some such instances, the data detection algorithm is a maximum a posteriori data detection algorithm. In other such instances, the data detection algorithm is a Viterbi detection algorithm. In various instances of the aforementioned embodiments, the data decoder circuit further includes a controller circuit operable to selectively control generation of the modified decoded output. In some such instances, the controller circuit enables generation of the modified decoded output when: a number of iterations of the first decoder circuit applying the first data decode algorithm to a decoder input is greater than a first threshold value; a number of unsatisfied checks corresponding to the decoded output is less than a second threshold value; and the unsatisfied checks corresponding to the decoded output is the same as the unsatisfied checks corresponding to a previous decoded output.

Other embodiments of the present invention provide methods of data processing that includes: applying a data decode algorithm by a data decoder circuit to a decoder input to yield a decoded output and an indication of at least one point of failure of the decoded output; identifying at least a first symbol and a second symbol associated with the point of failure of the decoded output; calculating a first ambiguity associated with the first symbol and a second ambiguity associated with the second symbol; and modifying one of a first value associated with the first symbol and a second value associated with the second symbol to yield a modified decoded output based at least in part on the first ambiguity and the second ambiguity. In some such instances, the decoded output is a first decoded output, and the methods further includes applying the data decode algorithm by the data decoder circuit to the decoder input guided by the modified decoded output to yield a second decoded output. In various cases, the first symbol includes a most likely symbol value corresponding to a first probability value and a next most likely symbol value corresponding to a second probability value; and the second symbol includes a most likely symbol value corresponding to a third probability value and a next most likely symbol value corresponding to a second probability value. In such instances, calculating the first ambiguity associated with the first symbol includes subtracting the second probability from the first probability; and calculating the second ambiguity associated with the second symbol includes subtracting the fourth probability from the third probability.

In one or more instances of the aforementioned embodiments, modifying one of a first value associated with the first symbol and a second value associated with the second symbol to yield the modified decoded output based at least in part on the first ambiguity and the second ambiguity includes: comparing the first ambiguity with the second ambiguity to determine that the first ambiguity is less then the second ambiguity; and changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol. In some cases, changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol further includes changing the second probability value corresponding to the next most likely symbol value of the first symbol to be the first probability value corresponding to the most likely symbol value of the first symbol.

This summary provides only a general outline of some embodiments of the invention. Many other objects, features, advantages and other embodiments of the invention will become more fully apparent from the following detailed description, the appended claims and the accompanying drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

A further understanding of the various embodiments of the present invention may be realized by reference to the figures which are described in remaining portions of the specification. In the figures, like reference numerals are used throughout several figures to refer to similar components. In some instances, a sub-label consisting of a lower case letter is associated with a reference numeral to denote one of multiple similar components. When reference is made to a reference numeral without specification to an existing sub-label, it is intended to refer to all such multiple similar components.

FIG. 1 a shows a data processing circuit including a combination data decoder system including a combination of a low density parity check decoder circuit and an ambiguous position detection and value modification circuit in accordance with one or more embodiments of the present invention;

FIG. 1 b depicts a controller circuit that may be used in relation to the decoder system of FIG. 1 in accordance with various embodiments of the present invention;

FIG. 1 c depicts an ambiguous position detection and value modification circuit that may be used in relation to the decoder system of FIG. 1 in accordance with various embodiments of the present invention;

FIG. 2 a is a flow diagram showing method for selectively modifying a decoder output in accordance with various embodiments of the present invention;

FIG. 2 b is a flow diagram showing a method for utilizing the method of FIG. 2 a in relation to a non-binary data decode process in accordance with some embodiments of the present invention;

FIG. 2 c is a flow diagram showing a method for utilizing the method of FIG. 2 a in relation to a binary data decode process in accordance with some embodiments of the present invention;

FIG. 3 shows a storage device including ambiguity based decoder override circuitry in accordance with one or more embodiments of the present invention; and

FIG. 4 shows a data transmission system including ambiguity based decoder override circuitry in accordance with various embodiments of the present invention.

DETAILED DESCRIPTION OF THE INVENTION

The present inventions are related to systems and methods for data processing, and more particularly to systems and methods for data decoding.

Various embodiments of the present invention provide data processing systems that include a data decoder circuit that includes a low density parity check decoder circuit and an ambiguous position detection and value modification circuit that is selectively used to modify an output of the low density parity check decoder circuit when a possible trapping set is detected. As just one of many advantages, the aforementioned approach allows for using data decoder circuits that exhibit relatively low complexity such as, for example, a belief propagation decoder circuit, while using another decoder algorithm to correct errors that are not correctable by the low complexity decoder algorithm. As the errors to be corrected are localized by the belief propagation decoder circuit, the complexity of the combination of the partial maximum likelihood parity check decoder circuit and the belief propagation decoder circuit is substantially less than that of a maximum likelihood decoder circuit.

In some cases, selective modification of an output of the low density parity check decoder circuit is done based upon some conclusions about a subset of uncorrectable errors. In particular, it has been determined that: every unsatisfied checks is connected by one error symbol, the error symbol has the most significant ambiguity among all variable nodes associated with an unsatisfied checks, and the second most likely symbol associated with the error symbol is almost always the correct symbol. Based upon this, some embodiments of the present invention identify uncorrectable errors that seem to correspond to the above criteria, and modify the error symbol to use the second most likely value. In some cases, the uncorrectable error condition is referred to as a potential trapping set condition.

Turning to FIG. 1 a, a data processing circuit 100 is shown that includes a data decoding circuit 170 including a combination of a low complexity decoder circuit 166 and a ambiguous position detection and value modification circuit 168 in accordance with one or more embodiments of the present invention. Data processing circuit 100 includes an analog front end circuit 110 that receives an analog signal 105. Analog front end circuit 110 processes analog signal 105 and provides a processed analog signal 112 to an analog to digital converter circuit 114. Analog front end circuit 110 may include, but is not limited to, an analog filter and an amplifier circuit as are known in the art. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of circuitry that may be included as part of analog front end circuit 110. In some cases, analog signal 105 is derived from a read/write head assembly (not shown) that is disposed in relation to a storage medium (not shown). In other cases, analog signal 105 is derived from a receiver circuit (not shown) that is operable to receive a signal from a transmission medium (not shown). The transmission medium may be wired or wireless. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of source from which analog input 105 may be derived.

Analog to digital converter circuit 114 converts processed analog signal 112 into a corresponding series of digital samples 116. Analog to digital converter circuit 114 may be any circuit known in the art that is capable of producing digital samples corresponding to an analog input signal. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of analog to digital converter circuits that may be used in relation to different embodiments of the present invention. Digital samples 116 are provided to an equalizer circuit 120. Equalizer circuit 120 applies an equalization algorithm to digital samples 116 to yield an equalized output 125. In some embodiments of the present invention, equalizer circuit 120 is a digital finite impulse response filter circuit as are known in the art. In some cases, equalizer 120 includes sufficient memory to maintain one or more codewords until a data detector circuit 130 is available for processing, and for multiple processes through data detector circuit 130.

Data detector circuit 130 is operable to apply a data detection algorithm to a received codeword or data set, and in some cases data detector circuit 130 can process two or more codewords in parallel. In some embodiments of the present invention, data detector circuit 130 is a Viterbi algorithm data detector circuit as are known in the art. In other embodiments of the present invention, data detector circuit 130 is a maximum a posteriori data detector circuit as are known in the art. Of note, the general phrases “Viterbi data detection algorithm” or “Viterbi algorithm data detector circuit” are used in their broadest sense to mean any Viterbi detection algorithm or Viterbi algorithm detector circuit or variations thereof including, but not limited to, bi-direction Viterbi detection algorithm or bi-direction Viterbi algorithm detector circuit. Also, the general phrases “maximum a posteriori data detection algorithm” or “maximum a posteriori data detector circuit” are used in their broadest sense to mean any maximum a posteriori detection algorithm or detector circuit or variations thereof including, but not limited to, simplified maximum a posteriori data detection algorithm and a max-log maximum a posteriori data detection algorithm, or corresponding detector circuits. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of data detector circuits that may be used in relation to different embodiments of the present invention. Data detector circuit 130 is started based upon availability of a data set from equalizer circuit 120 or from a central memory circuit 150.

Upon completion, data detector circuit 130 provides a detector output 196. Detector output 196 includes soft data. As used herein, the phrase “soft data” is used in its broadest sense to mean reliability data with each instance of the reliability data indicating a likelihood that a corresponding bit position or group of bit positions has been correctly detected. In some embodiments of the present invention, the soft data or reliability data is log likelihood ratio data as is known in the art. Detected output 196 is provided to a local interleaver circuit 142. Local interleaver circuit 142 is operable to shuffle sub-portions (i.e., local chunks) of the data set included as detected output and provides an interleaved codeword 146 that is stored to central memory circuit 150. Interleaver circuit 142 may be any circuit known in the art that is capable of shuffling data sets to yield a re-arranged data set. Interleaved codeword 146 is stored to central memory circuit 150. Interleaved codeword 146 is comprised of a number of encoded sub-codewords designed to reduce the complexity of a downstream data decoder circuit while maintaining reasonable processing ability.

Once a data decoding circuit 170 is available, a previously stored interleaved codeword 146 is accessed from central memory circuit 150 as a stored codeword 186 and globally interleaved by a global interleaver/de-interleaver circuit 184. Global interleaver/De-interleaver circuit 184 may be any circuit known in the art that is capable of globally rearranging codewords. Global interleaver/De-interleaver circuit 184 provides a decoder input 152 input to low data decoding circuit 170.

Data decoding circuit 170 includes low density parity check decoder circuit 166, ambiguous position detection and value modification circuit 168, and a controller circuit 175. Low density parity check decoder circuit 166 may be any decoder circuit known in the art that is less complex to implement than a maximum likelihood decoder circuit. In some embodiments of the present invention, low density parity check decoder circuit 166 is a belief propagation data decoder circuit as are known in the art. Such a belief propagation data decoder circuit may be implemented similar to that discussed in Pearl, Judea, “REVEREND BAYES ON INFERENCE ENGINES: A DISTRIBUTED HIERARCHAL APPROACH”, AAAI-82 Proceedings, 1982. The entirety of the aforementioned reference is incorporated herein by reference for all purposes. Low density parity check decoder circuit 166 receives decoder input 152 and applies a decoder algorithm thereto to yield a decoder output 167. In addition, checksum indices 169 (i.e., an identification of a particular parity check equation) of any unsatisfied parity checks are generated. Decoder output 167 and checksum indices 169 are provided to controller circuit 175. In addition, decoder output 167 is fed back to low complexity decoder circuit 166 where it can be used to guide subsequent application of the decoder algorithm to decoder input 152.

Controller circuit 175 utilizes decoder output 167 and checksum indices 169 to determine if a potential trapping set condition has occurred. Where a potential trapping set condition has occurred, a log likelihood ratio (LLR) subset output 177 (a portion of decoder output 167) and corresponding index outputs 176 (i.e., a portion of checksum indices 169 corresponding to LLR subset output 177) are provided by controller circuit 175 to ambiguous position detection and value modification circuit 168. Ambiguous position detection and value modification circuit 168 determines which symbol (i.e., one of LLR subset output 177) associated with a given unsatisfied check (i.e., a checksum index 169 that is non-zero) exhibits the most significant ambiguity. The ambiguity is calculated as the difference between the LLR value for the most likely symbol value and the LLR value for the second most likely symbol value. A symbol index value identifying the symbol with the most significant ambiguity is selected, and the value of the symbol corresponding to the symbol index value is changed to the second most likely value. Where, for example, data decoding circuit 170 is a binary decoder circuit, changing the value of the symbol corresponding to the symbol index value to the second most likely value includes toggling the value (i.e., changing the value from a ‘1’ to a ‘0’). As an example, assume that the following two symbols correspond to a given unsatisfied check with each of the symbols including four symbol values and corresponding LLR values:

Symbol A Symbol Value ‘0’ ‘1’ LLR Value 8 32  Symbol B Symbol Value ‘0’ ‘1’ LLR Value 32  19  In this case, symbol B is selected by ambiguous position detection and value modification circuit 168 as having the most significant ambiguity. Here, the ambiguity of symbol A is the LLR value corresponding to value ‘1’ (i.e., 32) less the LLR value corresponding to value ‘0’ (i.e., 8) for a total of 24. The ambiguity of symbol B is the LLR value corresponding to value ‘0’ (i.e., 32) less the LLR value corresponding to value ‘1’ (i.e., 19) for a total of 13. As 13 is less than 24, symbol B is selected as the symbol having the most significant ambiguity, and the index corresponding to symbol B is identified. The value of the selected symbol B is changed from ‘0’ to ‘1’, and the LLR values are reversed as shown in the following table:

Symbol B Symbol Value ‘0’ ‘1’ LLR Value 19  32 

Alternatively, where data decoding circuit 170 is a two-bit non-binary decoder circuit, each symbol includes four possible symbol values (i.e., ‘00’, ‘01’, ‘10’, ‘11). Changing the value of the symbol corresponding to the symbol index value to the second most likely value includes selecting the symbol value that has the next highest LLR value, and the LLR values are re-assigned to other symbol values. As an example, assume that the following two symbols correspond to a given unsatisfied check with each of the symbols including four symbol values and corresponding LLR values:

Symbol A Symbol ‘00’ ‘01’ ‘10’ ‘11’ Value LLR Value  9 15 32  2 Symbol B Symbol ‘00’ ‘01’ ‘10’ ‘11’ Value LLR Value 12 32 11  6 In this case, symbol A is selected by ambiguous position detection and value modification circuit 168 as having the most significant ambiguity. Here, the ambiguity of symbol A is the LLR value corresponding to value ‘10’ (i.e., 32) less the LLR value corresponding to value ‘01’ (i.e., 12) for a total of 17. The ambiguity of symbol B is the LLR value corresponding to value ‘01’ (i.e., 32) less the LLR value corresponding to value ‘00’ (i.e., 12) for a total of 20. As 17 is less than 20, symbol A is selected as the symbol having the most significant ambiguity, and the index corresponding to symbol A is identified. The value of the selected symbol A is then changed to be the second most likely hard decision (i.e., changed from ‘10’ to ‘01’) and the LLR values are rearranged. Rearranging the LLR values is done using the following equations: Index LLR_(‘00’)=LLR_(‘00’ XOR [Original Value XOR New Value]); Index LLR_(‘01’)=LLR_(‘01’ XOR [Original Value XOR New Value]); Index LLR_(‘10’)=LLR_(‘10’ XOR [Original Value XOR New Value]); and Index LLR_(‘11’)=LLR_(‘11’ XOR [Original Value XOR New Value]). In this example, the original value is ‘10’, and the new value is ‘01’. Thus, the original value XOR the new value is ‘11’. From this, the following LLR values may be calculated: Index LLR_(‘00’)=‘11’ (i.e. ‘00’ XOR ‘11’); Index LLR_(‘01’)=‘10’ (i.e. ‘01’ XOR ‘11’); Index LLR_(‘10’)=‘01’ (i.e. ‘10’ XOR ‘11’); and Index LLR_(‘11’)=‘00’ (i.e. ‘11’ XOR ‘11’). The LLR values are then rearranged in accordance with the above mentioned index values with, in this case, the LLR value for symbol value ‘00’ being set equal to the previous LLR value for symbol value ‘11’, the LLR value for symbol value ‘01’ being set equal to the previous LLR value for symbol value ‘10’, the LLR value for symbol value ‘10’ being set equal to the previous LLR value for symbol value ‘01’, and the LLR value for symbol value ‘11’ being set equal to the previous LLR value for symbol value ‘00’ as shown in the following table:

Symbol A Symbol ‘00’ ‘01’ ‘10’ ‘11’ Value LLR Value  2 32 15  9 This selected symbol after modification is then provided as a replacement symbol output 179 where it is used to replace the corresponding symbol in decoder output 167 for a subsequent iteration through low density parity check decoder circuit 166.

In one particular embodiment of the present invention, a potential trapping set condition is considered to have occurred where the number of remaining unsatisfied checks after application of the decoder algorithm to decoder input 152 is less than ten, and the indexes corresponding to the remaining unsatisfied checks have not changed for at least two local iterations (i.e., passes through low complexity decoder circuit 166). In addition, in some cases, controller circuit 175 is not enabled to indicate a potential trapping set condition until at least four local iterations of decoder algorithm to decoder input 152 have completed. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other indicia that may be used to define the occurrence of a potential trapping set condition and/or to trigger operation of partial maximum likelihood decoder circuit 168.

In addition, controller circuit 175 determines whether the data decoding algorithm converged. Where the data decoding algorithm failed to converge and no more local iterations (iterations through low density parity check decoder circuit 166), controller circuit 175 provides a decoder output 154 (i.e., decoder output 167) back to central memory circuit 150 via global interleaver/de-interleaver circuit 184. Prior to storage of decoded output 154 to central memory circuit 150, decoded output 154 is globally de-interleaved to yield a globally de-interleaved output 188 that is stored to central memory circuit 150. The global de-interleaving reverses the global interleaving earlier applied to stored codeword 186 to yield decoder input 152. Once data detector circuit 130 is available, a previously stored de-interleaved output 188 is accessed from central memory circuit 150 and locally de-interleaved by a de-interleaver circuit 144. De-interleaver circuit 144 re-arranges decoder output 148 to reverse the shuffling originally performed by interleaver circuit 142. A resulting de-interleaved output 197 is provided to data detector circuit 130 where it is used to guide subsequent detection of a corresponding data set receive as equalized output 125.

Alternatively, where the data decoding algorithm converged, controller circuit 175 provides an output codeword 172 to a de-interleaver circuit 180. De-interleaver circuit 180 rearranges the data to reverse both the global and local interleaving applied to the data to yield a de-interleaved output 182. De-interleaved output 182 is provided to a hard decision output circuit 190. Hard decision output circuit 190 is operable to re-order data sets that may complete out of order back into their original order. The originally ordered data sets are then provided as a hard decision output 192.

An example of operation of controller circuit 175 is provided in the following pseudo-code:

If (number of unsatisfied checks == 0) {  provide decoder output 167 as output codeword 172 } Else if (number of unsatisfied checks > 0 && number of local iterations == maximum) {  provide decoder output 167 as decoded output 154 } Else if (number of unsatisfied checks > 0 &&   [number of unsatisfied checks >= M OR    number of local iterations is < N OR    indexes 169 change from one local iteration to the next]) {  provide decoder output 167 as an input to low complexity decoder  circuit 166 } Else if (number of unsatisfied checks > 0 &&   [number of unsatisfied checks < M AND    number of local iterations is >= N OR    indexes 169 do not change from one local iteration to the next]) {  provide LLR subset output 177 to partial maximum likelihood decoder  circuit 168 }

Turning to FIG. 1 b, a controller circuit 101 that may be used in place of controller circuit 175 of FIG. 1 in accordance with various embodiments of the present invention. Controller circuit 101 includes an LLR subset register 102 that stores each element of decoder output 167 that corresponds to a non-zero value of a checksum identified as one of checksum indices 169. An LLR subset register output 103 is provided by LLR subset register 102. In addition, controller circuit 101 includes an unsatisfied check index register 106 that stores each index for which one or more instances of decoder output 167 stored to LLR subset register 102. Controller circuit 101 also includes a codeword completion circuit 113 that counts decoder outputs 167 to determine whether all instances of a codeword have been received. Where a completed codeword is received, a codeword complete output 117 is asserted high.

An unsatisfied check counter circuit 127 counts the number of non-zero parity check equation results (i.e., unsatisfied checks) indicated by checksum indices to yield an unsatisfied check count value 128. Unsatisfied check counter circuit 127 is reset whenever codeword complete output 117 is asserted such that a completed codeword is indicated. Hence, unsatisfied check count value 128 indicates the number of unsatisfied checks that occur for a given codeword. A count output equals zero circuit 131 indicates whether unsatisfied check count value 128 is equal to zero. Where unsatisfied check count value 128 is determined to be equal to zero, count output equals zero circuit 131 asserts a zero count output 133. Where zero count output 133 is asserted indicating that unsatisfied check count value 128 is zero, an output codeword generator circuit 134 provides decoder output 167 as output codeword 172.

In addition, a count output less than M circuit 129 determines whether unsatisfied check count value 128 is greater than zero and less than a value M. In some cases, M is ten. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other values of M that may be used in relation to different embodiments of the present invention. Where count output less than M circuit 129 determines that the value of unsatisfied check count value 128 is greater than zero and less than M, count output less than M circuit 129 asserts an M count output 132.

A local iteration counter circuit 118 receives codeword complete output 117 and counts the number of local iterations that have been applied to the particular codeword (received as decoder output 167). The number of local iterations is provided as a local iteration count value 119. A count output greater than N circuit receives local iteration count value 119 and asserts a count value greater than N output 126 whenever local iteration count value 119 is greater than N. In some cases, N is three. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other values of N that may be used in relation to different embodiments of the present invention. A count output equals maximum local iterations circuit 121 receives local iteration count value 119 and asserts a count value equals maximum local iterations output 122 whenever local iteration count value 119 equals the defined maximum number of local iterations. is greater than N. In some cases, N is three. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other values of N that may be used in relation to different embodiments of the present invention. Where M count output 132 indicates that the number of unsatisfied checks is not zero and count value equals maximum local iterations output 122 indicates the maximum number of local iterations have been performed, a decoded output generator circuit 123 provides a derivative of decoder output 167 as decoded output 154.

An index buffer 108 receives index values 107 from unsatisfied check index register 106 and stores them upon completion of a codeword (e.g., codeword complete output 117 is asserted). Index values 109 from index buffer 108 are compared with index values 107 by a same indexes circuit 111 to determine whether there has been a change over the last two local iterations to determine if the same parity check equations remain unsatisfied. Where the same parity check equations remain unsatisfied, same indexes circuit 111 asserts an unchanged output 112. In addition, index values 107 are provided as an index output 176. LLR subset output generator circuit 104 provides LLR subset register output 103 as LLR subset output 177 whenever same indexes output 112 is asserted, count value greater than N output 126 is asserted, and M count output 132 are all asserted.

Turning to FIG. 1 c, an ambiguous position detection and value modification circuit 800 is shown that may be used in relation to the decoder system of FIG. 1 in accordance with various embodiments of the present invention. Ambiguous position detection and value modification circuit 800 includes an ambiguous position detection circuit 805 operable to identify one or more symbols associated with a point of failure of decoded output 167. The point of failure may be, for example, a failed parity check equation implemented as part of data decoder circuit 166. To do such, ambiguous position detection circuit 805 receives LLR subset output 177 and index output 176. Each of LLR subset outputs 177 corresponding to a particular point of failure of decoded output 167 are provided as associated LLR outputs and corresponding index values 807, 808, 809. An ambiguity calculation circuit 810 calculates the ambiguity of each LLR outputs and corresponding index values 807, 808, 809 to yield respective ambiguity values and corresponding index values 817, 818, 819. The ambiguity is calculated by subtracting the LLR value corresponding to the second most likely symbol value form the LLR value corresponding to the most likely symbol value for each of the received symbols associated with the point of failure of decoded output 167. An ambiguity comparison circuit 820 determines which of ambiguity values and corresponding index values 817, 818, 819 exhibits the lowest ambiguity value (i.e., is the most ambiguous). A symbol 827 and the corresponding index 829 corresponding to the lowest ambiguity value are provided to a value modification circuit 830. Value modification circuit 830 modifies symbol 827 to yield replacement symbol output 179.

Turning to FIG. 2 a, a flow diagram 200 shows a method for selectively combined data decoding in accordance with various embodiments of the present invention. Following flow diagram 200, an analog input is received (block 205). The analog input may be derived from, for example, a storage medium or a data transmission channel. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of sources of the analog input. The analog input is converted to a series of digital samples (block 210). This conversion may be done using an analog to digital converter circuit or system as are known in the art. Of note, any circuit known in the art that is capable of converting an analog signal into a series of digital values representing the received analog signal may be used. The resulting digital samples are equalized to yield an equalized output (block 215). In some embodiments of the present invention, the equalization is done using a digital finite impulse response circuit as are known in the art. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of equalizer circuits that may be used in place of such a digital finite impulse response circuit to perform equalization in accordance with different embodiments of the present invention.

It is determined whether a data detector circuit is available (block 220). Where a data detector circuit is available (block 220), a data detection algorithm is applied to the equalized output guided by a data set derived from a decoded output where available (e.g., the second and later iterations through the data detector circuit and the data decoder circuit) from a central memory circuit to yield a detected output (block 225). In some embodiments of the present invention, data detection algorithm is a Viterbi algorithm as are known in the art. In other embodiments of the present invention, the data detection algorithm is a maximum a posteriori data detector circuit as are known in the art. The data set derived from the decoded output maybe a de-interleaved version of the decoded data set. A signal derived from the detected output (e.g., a locally interleaved version of the detected output) is stored to the central memory to await processing by a data decoder circuit (block 230).

In parallel to the previously discussed data detection processing, it is determined whether a data decoder circuit is available (block 240). Where the data decoder circuit is available (block 240), a previously stored derivative of a detected output is accessed from the central memory (block 245). A low density parity check decode algorithm is applied to the derivative of the detected output to yield a decoded output (block 250). In some embodiments of the present invention, low density parity check decoder circuit 166 is a belief propagation data decoder circuit as are known in the art. Such a belief propagation data decoder circuit may be implemented similar to that discussed in Pearl, Judea, “REVEREND BAYES ON INFERENCE ENGINES: A DISTRIBUTED HIERARCHAL APPROACH”, AAAI-82 Proceedings, 1982. It should be noted that other embodiments of the present may use different decode algorithms.

It is determined whether the decoded output converged (i.e., the original data set is recovered) (block 255). In some cases, such convergence is found where all of the checksum equations utilized as part of the low complexity decode algorithm are correct. Where the decode algorithm converged (block 255), the decoded output is provided as a hard decision output (block 260). Otherwise, where the decode algorithm failed to converge (block 255), it is determined whether the number of local iterations of the data decode algorithm on the current data set exceeded a threshold value N (block 265). In some cases, N is four. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other values of N that may be used in relation to different embodiments of the present invention. Where the number of local iterations has not exceeded the threshold value N (block 265), the processes of blocks 250-265 are repeated for the same data set using the previous decoded output as a guide.

Otherwise, where the number of local iterations has exceeded the threshold value N (block 265), it is determined whether another local iteration is to be performed (block 270). In some cases, this is determined by comparing the number of local iterations that have been completed to a defined threshold number. Where another local iteration is not called for (e.g., the number of local iterations equals a maximum number of local iterations) (block 270), the decoded output is stored to the central memory circuit where it awaits processing by the data detector circuit (i.e., another global iteration) (block 275). Otherwise, where it is determined that another local iteration is called for (e.g., the number of local iterations is not equal to a maximum number of local iterations) (block 270), it is determined whether the number of remaining unsatisfied checks is less than a threshold value M (block 280). In some cases, M is ten. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize other values of M that may be used in relation to different embodiments of the present invention. Where the number of unsatisfied checks is not less than the threshold value M (block 280), the processes of blocks 250-280 are repeated for the same data set using the previous decoded output as a guide.

Otherwise, where the number of unsatisfied checks is less than the threshold value M (block 280), a symbol modification is performed (block 292). Symbol modification (block 292) includes identifying the most ambiguous symbol corresponding to each unsatisfied check, and calculating a new value for the most ambiguous symbol (block 285). The new value(s) is then used to replace the symbol in the decoded output that was identified as the most ambiguous symbol (block 290). One symbol modification is performed for each unsatisfied check. The modified decoded output is then used to guide re-application of the low density parity check decoding algorithm to the derivative of the detected output (block 250), and the processes of blocks 255-292 are repeated.

Turning to FIG. 2 b, a flow diagram 292 a shows a method for performing the function of block 292 of FIG. 2 a in relation to a non-binary data decode process in accordance with some embodiments of the present invention. In this example, each symbol is two bits representing four potential symbol values (i.e., ‘00’, ‘01’, ‘10’, ‘11). Following flow diagram 292 a, a first unsatisfied check is selected (block 272). In some cases, such an unsatisfied check is a parity check equation that did not yield a zero output after application of the data decode algorithm. Each unsatisfied check has a number of symbol values from which the unsatisfied check is calculated. A first of these symbol values is selected (block 274) and a difference between the largest and second largest LLR values in the symbol is calculated to yield a difference value (block 276). As an example, assume that the following symbol corresponds to a given unsatisfied check and includes four symbol values and corresponding LLR values:

Symbol A Symbol ‘00’ ‘01’ ‘10’ ‘11’ Value LLR Value  9 15 32  2 In this case, the difference value is the largest LLR value (i.e., 32) less the second largest LLR value (i.e., 15), or 17.

It is then determined whether another symbol is associated with the selected unsatisfied check (block 278). Where another symbol remains (block 278), the next symbol associated with the selected unsatisfied check is selected (block 282), and the processes of blocks 276-278 are repeated to calculate a difference value for each symbol associated with the selected unsatisfied check. Once a difference value has been calculated for the selected unsatisfied checks (block 278), the symbol corresponding to the smallest difference value is selected as the most ambiguous symbol for the selected unsatisfied check (block 284). The most ambiguous symbol is modified by changing the second most likely hard decision value to be the first most likely hard decision value (block 286) and the LLR values for the most ambiguous symbol are rearranged (block 288). For example, where in the preceding example symbol A is selected as the most ambiguous symbol, the ‘10’ hard decision is the most likely and in the modified version, the ‘01 symbol having the second largest LLR value is selected as the most likely and the LLR values are rearranged. Rearranging the LLR values is done using the following equations: Index LLR_(‘00’)=LLR_(‘00’ XOR [Original Value XOR New Value]); Index LLR_(‘01’)=LLR_(‘01’ XOR [Original Value XOR New Value];) Index LLR_(‘10’)=LLR_(‘10’ XOR [Original Value XOR New Value]; and) Index LLR_(‘11’)=LLR_(‘11’ XOR [Original Value XOR New Value].) In this example, the original value is ‘10’, and the new value is ‘01’. Thus, the original value XOR the new value is ‘11’. From this, the following LLR values may be calculated: Index LLR_(‘00’)=‘11’ (i.e. ‘00’ XOR ‘11’); Index LLR_(‘01’)=‘10’ (i.e. ‘01’ XOR ‘11’); Index LLR_(‘10’)=‘01’ (i.e. ‘10’ XOR ‘11’); and Index LLR_(‘11’)=‘00’ (i.e. ‘11’ XOR ‘11’). The LLR values are then rearranged in accordance with the above mentioned index values with, in this case, the LLR value for symbol value ‘00’ being set equal to the previous LLR value for symbol value ‘11’, the LLR value for symbol value ‘01’ being set equal to the previous LLR value for symbol value ‘10’, the LLR value for symbol value ‘10’ being set equal to the previous LLR value for symbol value ‘01’, and the LLR value for symbol value ‘11’ being set equal to the previous LLR value for symbol value ‘00’ as shown in the following table:

Symbol A Symbol ‘00’ ‘01’ ‘10’ ‘11’ Value LLR Value  2 32 15  9 This modified symbol is then used in place of the corresponding symbol in the decoded output to yield a modified decoded output.

It is then determined whether another unsatisfied check remains (block 291). Where another unsatisfied check remains (block 291), the next unsatisfied check is selected (block 201), and the processes of blocks 294-299 are repeated to further modified the decoded output. Alternatively, where no additional unsatisfied checks remain (block 299), the process is returned to that discussed in relation to FIG. 2 a where the modified decoded output is used to guide re-application of the low density parity check decoding algorithm to the derivative of the detected output (block 250).

Turning to FIG. 2 c, a flow diagram 292 b shows a method for performing the function of block 292 of FIG. 2 a in relation to a binary data decode process in accordance with some embodiments of the present invention. In this example, each symbol is one bit representing two potential symbol values (i.e., ‘0’, ‘1’). Following flow diagram 292 b, a first unsatisfied check is selected (block 293). In some cases, such an unsatisfied check is a parity check equation that did not yield a zero output after application of the data decode algorithm. Each unsatisfied check has a number of symbol values from which the unsatisfied check is calculated. A first of these symbol values is selected (block 294) and the LLR value associated with the selected symbol is stored (block 296).

It is then determined whether another symbol is associated with the selected unsatisfied check (block 297). Where another symbol remains (block 297), the next symbol associated with the selected unsatisfied check is selected (block 267), and the processes of blocks 296-297 are repeated to store an LLR value for each of the respective symbols associated with the selected unsatisfied check. Once an LLR value has been stored for each symbol associated with the selected unsatisfied check (block 297), the hard decision associated with the symbol having the lowest LLR value of those stored LLR values is changed (i.e., from a ‘1’ to a ‘0’ or from a ‘0’ to a ‘1’) (block 298). This modification is made in the decoded output to yield a modified decoded output.

It is then determined whether another unsatisfied check remains (block 299). Where another unsatisfied check remains (block 299), the next unsatisfied check is selected (block 202), and the processes of blocks 274-291 are repeated to further modified the decoded output. Alternatively, where no additional unsatisfied checks remain (block 291), the process is returned to that discussed in relation to FIG. 2 a where the modified decoded output is used to guide re-application of the low density parity check decoding algorithm to the derivative of the detected output (block 250).

Turning to FIG. 3, a storage device 300 is shown including ambiguity based decoder override circuitry in accordance with one or more embodiments of the present invention. Storage device 300 may be, for example, a hard disk drive. Storage device 300 also includes a preamplifier 370, an interface controller 320, a hard disk controller 366, a motor controller 368, a spindle motor 372, a disk platter 378, and a read/write head assembly 376. Interface controller 320 controls addressing and timing of data to/from disk platter 378. The data on disk platter 378 consists of groups of magnetic signals that may be detected by read/write head assembly 376 when the assembly is properly positioned over disk platter 378. In one embodiment, disk platter 378 includes magnetic signals recorded in accordance with either a longitudinal or a perpendicular recording scheme.

In a typical read operation, read/write head assembly 376 is accurately positioned by motor controller 368 over a desired data track on disk platter 378. Motor controller 368 both positions read/write head assembly 376 in relation to disk platter 378 and drives spindle motor 372 by moving read/write head assembly to the proper data track on disk platter 378 under the direction of hard disk controller 366. Spindle motor 372 spins disk platter 378 at a determined spin rate (RPMs). Once read/write head assembly 378 is positioned adjacent the proper data track, magnetic signals representing data on disk platter 378 are sensed by read/write head assembly 376 as disk platter 378 is rotated by spindle motor 372. The sensed magnetic signals are provided as a continuous, minute analog signal representative of the magnetic data on disk platter 378. This minute analog signal is transferred from read/write head assembly 376 to read channel circuit 310 via preamplifier 370. Preamplifier 370 is operable to amplify the minute analog signals accessed from disk platter 378. In turn, read channel circuit 310 decodes and digitizes the received analog signal to recreate the information originally written to disk platter 378. This data is provided as read data 303 to a receiving circuit. A write operation is substantially the opposite of the preceding read operation with write data 301 being provided to read channel circuit 310. This data is then encoded and written to disk platter 378.

During operation, data decoding applied to the information received from disk platter 378 may not converge. Where it is determined that there is a possible trapping set or other impediment to convergence, an ambiguous position detection and value modification circuit identifies a symbol associated with an unsatisfied check that exhibits the most significant ambiguity. This symbol is then modified and used to replace a corresponding symbol in a previously generated decoded output prior to a subsequent application of a data decode algorithm to a decoder input. Such symbol modification circuitry may be implemented similar to that discussed above in relation to FIGS. 1 a-1 b, and/or may be done using a process similar to that discussed above in relation to FIGS. 2 a-2 c.

It should be noted that storage system may utilize SATA, SAS or other storage technologies known in the art. Also, it should be noted that storage system 300 may be integrated into a larger storage system such as, for example, a RAID (redundant array of inexpensive disks or redundant array of independent disks) based storage system. It should also be noted that various functions or blocks of storage system 400 may be implemented in either software or firmware, while other functions or blocks are implemented in hardware.

Turning to FIG. 4, a data transmission system 400 including ambiguity based decoder override circuitry in accordance with various embodiments of the present invention. Data transmission system 400 includes a transmitter 410 that is operable to transmit encoded information via a transfer medium 430 as is known in the art. The encoded data is received from transfer medium 430 by receiver 420. Transceiver 420 incorporates data decoder circuitry. While processing received data, received data is converted from an analog signal to a series of corresponding digital samples, and the digital samples are equalized to yield an equalized output. The equalized output is then provided to a data processing circuit including both a data detector circuit and a data decoder circuit. Data is passed between the data decoder and data detector circuit via a central memory allowing for variation between the number of processing iterations that are applied to different data sets. It should be noted that transfer medium 430 may be any transfer medium known in the art including, but not limited to, a wireless medium, an optical medium, or a wired medium. Based upon the disclosure provided herein, one of ordinary skill in the art will recognize a variety of transfer mediums that may be used in relation to different embodiments of the present invention.

During operation, data decoding applied to the information received via transfer medium 430 may not converge. Where it is determined that there is a possible trapping set or other impediment to convergence, an ambiguous position detection and value modification circuit identifies a symbol associated with an unsatisfied check that exhibits the most significant ambiguity. This symbol is then modified and used to replace a corresponding symbol in a previously generated decoded output prior to a subsequent application of a data decode algorithm to a decoder input. Such symbol modification circuitry may be implemented similar to that discussed above in relation to FIGS. 1 a-1 b, and/or may be done using a process similar to that discussed above in relation to FIGS. 2 a-2 c.

It should be noted that the various blocks discussed in the above application may be implemented in integrated circuits along with other functionality. Such integrated circuits may include all of the functions of a given block, system or circuit, or only a subset of the block, system or circuit. Further, elements of the blocks, systems or circuits may be implemented across multiple integrated circuits. Such integrated circuits may be any type of integrated circuit known in the art including, but are not limited to, a monolithic integrated circuit, a flip chip integrated circuit, a multichip module integrated circuit, and/or a mixed signal integrated circuit. It should also be noted that various functions of the blocks, systems or circuits discussed herein may be implemented in either software or firmware. In some such cases, the entire system, block or circuit may be implemented using its software or firmware equivalent. In other cases, the one part of a given system, block or circuit may be implemented in software or firmware, while other parts are implemented in hardware.

In conclusion, the invention provides novel systems, devices, methods and arrangements for data processing. While detailed descriptions of one or more embodiments of the invention have been given above, various alternatives, modifications, and equivalents will be apparent to those skilled in the art without varying from the spirit of the invention. Therefore, the above description should not be taken as limiting the scope of the invention, which is defined by the appended claims. 

What is claimed is:
 1. A data processing system, the data processing system comprising: a data decoding system including: a data decoder circuit operable to apply a data decode algorithm to a decoder input to yield a decoded output and an indication of at least one point of failure of the decoded output; an ambiguous position detection circuit operable to identify at least a first symbol and a second symbol associated with the point of failure of the decoded output; an ambiguity calculation circuit operable to calculate a first ambiguity associated with the first symbol and a second ambiguity associated with the second symbol; and a value modification circuit operable to modify one of a first value associated with the first symbol and a second value associated with the second symbol to yield a modified decoded output based at least in part on the first ambiguity and the second ambiguity.
 2. The data processing circuit of claim 1, wherein the data processing system is implemented as part of a device selected from a group consisting of: a storage device, and a receiving device.
 3. The data processing system of claim 1, wherein the data processing system is implemented as part of an integrated circuit.
 4. The data processing system of claim 1, wherein the decoded output is a first decoded output, and wherein the decoder circuit is operable to apply the data decode algorithm to the decoder input guided by the modified decoded output to yield a second decoded output.
 5. The data processing system of claim 1, wherein the data decode algorithm is a low density parity check algorithm, and wherein the point of failure of the decoded output is a failure of a parity check equation implemented as part of the low density parity check algorithm.
 6. The data processing system of claim 5, wherein the low density parity check algorithm is selected from a group consisting of: a non-binary low density parity check algorithm, and a binary low density parity check algorithm.
 7. The data processing system of claim 6, wherein the low density parity check algorithm is implemented as a belief propagation data decode algorithm.
 8. The data processing system of claim 1, wherein the first symbol includes a most likely symbol value corresponding to a first probability value and a next most likely symbol value corresponding to a second probability value; wherein the second symbol includes a most likely symbol value corresponding to a third probability value and a next most likely symbol value corresponding to a second probability value; and wherein calculating the first ambiguity associated with the first symbol includes subtracting the second probability from the first probability; and wherein calculating the second ambiguity associated with the second symbol includes subtracting the fourth probability from the third probability.
 9. The data processing circuit of claim 8, wherein modifying one of the first value associated with the first symbol and the second value associated with the second symbol to yield the modified decoded output based at least in part on the first ambiguity and the second ambiguity comprises: comparing the first ambiguity with the second ambiguity to determine that the first ambiguity is less then the second ambiguity; and changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol.
 10. The data processing circuit of claim 9, wherein changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol further includes: changing the second probability value corresponding to the next most likely symbol value of the first symbol to be the first probability value corresponding to the most likely symbol value of the first symbol.
 11. The data processing system of claim 1, wherein the data processing system further comprises: a data detector circuit operable to apply a data detection algorithm to a data set to yield a detected output, wherein the decoder input is derived from the detected output.
 12. The data processing system of claim 11, wherein the data detection algorithm is selected from a group consisting of: a maximum a posteriori data detection algorithm and a Viterbi detection algorithm.
 13. The data processing system of claim 1, wherein the data decoder circuit further comprises: a controller circuit operable to selectively control generation of the modified decoded output.
 14. The data processing system of claim 13, wherein the controller circuit enables generation of the modified decoded output when: a number of iterations of the first decoder circuit applying the first data decode algorithm to a decoder input is greater than a first threshold value; a number of unsatisfied checks corresponding to the decoded output is less than a second threshold value; and the unsatisfied checks corresponding to the decoded output is the same as the unsatisfied checks corresponding to a previous decoded output.
 15. The data processing system of claim 14, wherein the first threshold value is three, and the second threshold value is ten.
 16. A method for data processing, the method comprising: applying a data decode algorithm by a data decoder circuit to a decoder input to yield a decoded output and an indication of at least one point of failure of the decoded output; identifying at least a first symbol and a second symbol associated with the point of failure of the decoded output; calculating a first ambiguity associated with the first symbol and a second ambiguity associated with the second symbol; and modifying one of a first value associated with the first symbol and a second value associated with the second symbol to yield a modified decoded output based at least in part on the first ambiguity and the second ambiguity.
 17. The method of claim 16, wherein the decoded output is a first decoded output, and wherein the method further comprises: applying the data decode algorithm by the data decoder circuit to the decoder input guided by the modified decoded output to yield a second decoded output.
 18. The method of claim 16, wherein the first symbol includes a most likely symbol value corresponding to a first probability value and a next most likely symbol value corresponding to a second probability value; wherein the second symbol includes a most likely symbol value corresponding to a third probability value and a next most likely symbol value corresponding to a second probability value; and wherein calculating the first ambiguity associated with the first symbol includes subtracting the second probability from the first probability; and wherein calculating the second ambiguity associated with the second symbol includes subtracting the fourth probability from the third probability.
 19. The method of claim 18, wherein modifying one of a first value associated with the first symbol and a second value associated with the second symbol to yield the modified decoded output based at least in part on the first ambiguity and the second ambiguity comprises: comparing the first ambiguity with the second ambiguity to determine that the first ambiguity is less then the second ambiguity; and changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol.
 20. The method of claim 19, wherein changing the most likely symbol value of the first symbol to the next most likely symbol value of the first symbol further includes: changing the second probability value corresponding to the next most likely symbol value of the first symbol to be the first probability value corresponding to the most likely symbol value of the first symbol.
 21. A storage device, the storage device comprising: a storage medium; a head assembly disposed in relation to the storage medium and operable to provide a sensed signal corresponding to information on the storage medium; a read channel circuit including: an analog to digital converter circuit operable to sample an analog signal derived from the sensed signal to yield a series of digital samples; an equalizer circuit operable to equalize the digital samples to yield a data set; a data detector circuit operable to apply a data detection algorithm to the data set to yield a detected output; and a data decoder system including: a data decoder circuit operable to apply a data decode algorithm to a decoder input to yield a decoded output and an indication of at least one point of failure of the decoded output; an ambiguous position detection circuit operable to identify at least a first symbol and a second symbol associated with the point of failure of the decoded output; an ambiguity calculation circuit operable to calculate a first ambiguity associated with the first symbol and a second ambiguity associated with the second symbol; and a value modification circuit operable to modify one of a first value associated with the first symbol and a second value associated with the second symbol to yield a modified decoded output based at least in part on the first ambiguity and the second ambiguity. 